Completeness of a logical system for
نویسنده
چکیده
The main aim of this paper is to present a completeness proof of a formal system for reasoning about logical consequences of structured speciications. The system is based on the proof rules for structural spec-iications build in an arbitrary institution as presented in ST 88]. The proof of its completeness is inspired by the proof due to M. V. Cengarle (see Cen 94]) for speciications in rst-order logic and the logical system for reasoning about them presented also in Wir 91].
منابع مشابه
Designing a logical data model of athletes' hospital information management system based on international standards
Background and purpose: Today, hospital care, relying on the health record system, has received more attention than before. Considering the diversity of data in these systems, the design of standard conceptual and logical models by service providers will play an important role in their success. Therefore, this research was conducted with the aim of designing a logical data model of the hospital...
متن کاملCorrectness of the Logical System for Structured Speciications
The main aim of this paper is to present the completeness proof of a formal system for reasoning about logical consequences of structured speciications. The system is based on the proof rules for structural speciications build in an arbitrary institution as presented in ST 88]. The proof of its completeness is inspired by the proof due to M. V. Cengarle (see Cen 94]) for speciications in rst-or...
متن کاملLogical Topologies and Semantic Completeness
We study a generic problem of proving semantic completeness of a logical system with respect to a class of “standard models”, provided a weaker completeness result with respect to a larger class of “general models” has been obtained. We propose a natural topological approach to this problem based on the notion of logical topology and the related concept of logical approximation. We then obtain ...
متن کاملمبانی منطقی طراحی سیستم خط‌مشی‌گذاری دولتی برای تحقق عدالت حق‌مدار (براساس نهج‌البلاغه)
This article demonstrates a part of findings of a research that has been designed with the intention of determining the characteristics of the desired public policy making system for achieving social justice. To begin with, James P. Sterba's categorization of alternative political perspectives to justice is reviewed and then "truth – oriented" justice is studied. To reach a precise and scholar...
متن کاملDASTWAR: a tool for completeness estimation in magnitude-size plane
Today, great observatories around the world, devote a substantial amount of observing time to sky surveys. The resulted images are inputs of source finder modules. These modules search for the target objects and provide us with source catalogues. We sought to quantify the ability of detection tools in recovering faint galaxies regularly encountered in deep surveys. Our approach was based on com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998